TMO 기반의 코드 자동 생성기 설계를 위한 실시간 시스템 모델링 기법June 30, 2010 · One min read석미희신영술류호동이우진담당교수2010 한국컴퓨터종합학술대회 논문집, 제37권, 제1호, pp. 136-139, 2010년 7월 (6.30)